基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

一种水情信息自动采集、处理和传输系统

介绍了一种水文信息自动采集，处理和传输系统，并对系统功能，组成原理，技术实现和特点作了较详细的论述。     

全位置自动焊机驱动电机控制的研究

着重讨论一种利用脉宽调制线路来实现电机速度控制的方法 ,该方法保证了全位置自动焊机在工作时行走速度的恒定。     

城市中心区停车设施规划与发展策略刍议——以长沙市为例

城市停车设施的规划、建设是现代城市交通规划中的一个重要课题。在总结国内外城市相关经验的基础上,以长沙市为例,对城市中心区的停车设施规划进行具体分析和探讨,为我国城市静态交通规划研究提供一些实证资料。     

大坝自动化监测系统建设的问题及解决方案

文章以山西省文峪河水库大坝自动化监测系统建设做为研究对象,对工程建设中由于学科交叉出现的一系列问题展开深入研究,研究成果对我国水利工程信息化建设具有现实意义。     

公用事业自动控制设备的营销战略

当前自动控制系统设备已深入人们生活的各个角落,尤其是公用事业企业的生产、调度、控制等自动化程度已经比较高,这些系统设备稳定而高效的运转是公用事业企业能否为社会提供完善服务,从而营造和谐社会的一个重要保障手段.因此,公用事业企业无不加大了对自动控制系统的重视程度,形成了独特的使用和采购特色,这对公用事业自动控制设备的供应商也提出了新的更高的要求.通过对公用事业企业自身特点的分析,结合自动控制设备市场特点,分析当前国内公用事业企业自动控制设备的采购特点,提出公用事业自动控制设备供应商的营销战略和营销措施的确定思路,明确指出同客户的长期合作、争取共赢是制胜的必由之路.同时还探讨了公用事业自动控制设备营销工作中应该注意的问题,使设备供应商能够更好的服务社会.     

PLC控制系统安全电路设计及实现

结合PLC控制系统对安全、可靠性要求,设备设计人员职责,阐述PLC控制系统安全电路设计要点和要求,提出安全电路设计、实现方法。     

建筑构件多功能耐火试验炉的设计

为了适应多种建筑构件耐火试验,并提高试验的可靠性,根据GB/T9978—1999标准的要求,设计了水平建筑构件耐火试验炉和垂直建筑构件耐火试验炉各一座.通过合理布置燃烧器,使炉内的温度更均匀,利用自行设计的控制系统对炉内的温度及压力进行自动控制,克服了传统人工操作的各种缺点,同时也减少了污染,节省了空间,节约了燃料及人工成本.最后介绍了试验炉的使用情况,取得了较好的效果.     

车辆起步过程发动机恒转速自适应模糊控制研究

车辆起步发动机恒转速控制是一种有效的起步控制策略,如何实现发动机转速跟随目标转速曲线变化以提高起步性能是一个难点.针对这一问题,制定了离合器接合控制原则,设计了以发动机转速及其目标转速、离合器行程为控制参数的自适应模糊控制及相应协调规则构成的控制系统.仿真试验表明在不同工况下该控制策略均能保证发动机基本无超调地达到目标转速,实现了发动机恒转速起步,离合器滑摩功小,能够反映驾驶员起步意图,提高了车辆起步性能.     

停车车流组织对道路通行能力的影响分析

城市的发展建设中,会出现一些大型的办公、商业楼以及医院等会带来很大吸引量的建筑。而这些建筑用地周围的道路就要承受建筑出入口带来的交通影响。本文通过对北京市儿童医院北门出入口车流组织的优化改造研究,探讨了减缓道路交通压力的可行方案。